Operational calculus - PDFSEARCH.IO - Document Search Engine

Operational calculus
Results: 39

#	Item
21	Run Your Research On the Effectiveness of Lightweight Mechanization Casey Klein1 Matthew Flatt4 John Clements2 Add to Reading List Source URL: eecs.northwestern.edu Language: English - Date: 2011-11-14 12:38:44 Control flow Theoretical computer science Logic in computer science Functional programming Continuations Lambda calculus Robert Bruce Findler Reduction strategy Operational semantics Software engineering Computing Programming language theory
22	Coinductive big-step operational semantics Xavier Leroy INRIA Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-01-03 04:15:57 Logic in computer science Mathematical induction Programming language semantics Category theory Coinduction Operational semantics Structural induction Theorem Lambda calculus Mathematics Logic Theoretical computer science
23	WIND EXTRACTION USING SATELLITE IMAGES IN CPTEC: NEW VERSION AND EVALUATION WITH WETAMC/LBA AND OPERATIONAL DSA/CPTEC DATA Henri Laurent 1,4, Nelson Arai2, Boris Fomin 3, Luiz Augusto T. Machado 1 and Mariglaudio A. Gond Add to Reading List Source URL: cimss.ssec.wisc.edu Language: English - Date: 2010-04-06 09:04:12 Vector calculus Vectors Abstract algebra Linear algebra Atmospheric thermodynamics Numerical weather prediction Radiosonde Vector field Vector Algebra Mathematics Atmospheric sciences
24	Journal of Functional Programming http://journals.cambridge.org/JFP Additional services for Journal of Functional Programming: Email alerts: Click here Subscriptions: Click here Commercial reprints: Click Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2013-03-29 19:34:46 Computer science Logic in computer science Programming language semantics Computability theory Formal methods Operational semantics Lambda calculus Denotational semantics Abstract interpretation Theoretical computer science Models of computation Applied mathematics
25	Operational Semantics of Hybrid Systems Edward A. Lee and Haiyang Zheng With contributions from: Adam Cataldo, Jie Liu, Xiaojun Liu, Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2004-11-28 21:44:53 Calculus Continuous function State space Dynamical system Fourier analysis Dirac delta function Mathematical analysis Control theory Mathematics
26	10 The Essence of ML Type Inference François Pottier and Didier Rémy 10.1 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2005-07-01 08:54:05 Type theory Functional languages Lambda calculus Procedural programming languages Logic in computer science ML Type system Operational semantics Combinatory logic Software engineering Programming language theory Computing
27	Operational Semantics for Multi-Language Programs Jacob Matthews Robert Bruce Findler University of Chicago Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2006-10-26 19:02:16 Computer science Functional languages Logic in computer science Models of computation Combinatory logic Fixed-point combinator ML Theoretical computer science Lambda calculus Software engineering
28	arXiv:0804.3914v2 [cs.LO] 3 Jun[removed]Reasoning in Abella about Structural Operational Semantics Specifications Andrew Gacek1 Dale Miller2 Gopalan Nadathur1 Abstract Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-06-02 21:09:43 Model theory Formal languages Theoretical computer science Interpretation Philosophy of mind Semantics Lambda calculus Structure Function Mathematics Mathematical logic Logic
29	JFP 22 (4–5): 705–746, [removed]c Cambridge University Press 2012 ! 705 Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:27 Programming language semantics Models of computation Computer science Operational semantics Model theory Lambda calculus Denotational semantics Theoretical computer science Applied mathematics Logic in computer science
30	JFP 18 (4): 437–502, [removed]c 2007 Cambridge University Press 437 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-06-06 08:53:06 Logic in computer science Lambda calculus Models of computation Computability theory Free variables and bound variables Name binding Operational semantics Simply typed lambda calculus Π-calculus Theoretical computer science Applied mathematics Mathematics

UPDATE